Functorial relationships between $QH*(G/B)$ and $QH*(G/P)$
نویسندگان
چکیده
منابع مشابه
on translation of phatic communion and socio-cultural relationships between the characters of the novels
phatic communion is a cultural concept which differs across cultures. according to hofstede (2001), the u.s. tends to have individualistic culture; however, asian countries tend to have collectivistic cultures. these cultures view phatic communion differently. in individualistic cultures like u.s., phatic communion reflects speakers’ socio-cultural relationships in conversations. to see whether...
15 صفحه اولRibbon tensorial logic A functorial bridge between proofs and knots
Tensorial logic is a primitive logic of tensor and negation which refines linear logic by relaxing the hypothesis that tensorial negation A 7→ ¬A is involutive. The resulting logic of linear continuations provides a proof-theoretic account of game semantics, where the formulas and proofs of the logic reflect univoquely dialogue games and innocent strategies. In the present paper, we introduce a...
متن کاملSolutions of Functorial and Non-functorial Metric Domain Equations 1
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS and KMS are introduced, having complete and compact metric spaces as objects and-adjoint pairs as arrows. The existence and uniqueness of xed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric s...
متن کاملSolutions of functorial and non-functorial metric domain equations
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS≈ and KMS≈ are introduced, having complete and compact metric spaces as objects and -adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-met...
متن کاملFunctorial ML
We present an extension of the Hindley-Milner type system that supports a generous class of type constructors called functors, and provide a parametrically polymorphic algorithm for their mapping, i.e. for applying a function to each datum appearing in a value of constructed type. The algorithm comes from shape theory, which provides a uniform method for locating data within a shape. The result...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Geometry
سال: 2010
ISSN: 0022-040X
DOI: 10.4310/jdg/1299766790